ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

comparative dna interaction studies of antiviral drug, zidovudine and its complex using different instrumental methods

هدف از این مطالعه بررسی امکان استفاده از داروهای شناخته شده در درمان سایر بیماریها به عنوان داروهای ضد سرطان است. همچنین با استفاده از این داروها در ساختمان کمپلکس فلز می توان شاخص های دارویی بدست آمده را بررسی نمود. داروی ضد ویروس ایدز(hiv)به نام زیدوودین(azt)انتخاب و.کمپلکس.محلول.در.آب[pt(azt)2]cl2سنتزو به روشهای مختلف فیزیکی و شیمیایی شناسایی گردید. بر هم کنش مقایسه ای این دارو و کمپلکس پلا...

15 صفحه اول

development of different optical methods for determination of glucose using cadmium telluride quantum dots and silver nanoparticles

a simple, rapid and low-cost scanner spectroscopy method for the glucose determination by utilizing glucose oxidase and cdte/tga quantum dots as chromoionophore has been described. the detection was based on the combination of the glucose enzymatic reaction and the quenching effect of h2o2 on the cdte quantum dots (qds) photoluminescence.in this study glucose was determined by utilizing glucose...

Layout Design of a Furniture Production Line Using Formal Methods

This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.

متن کامل

synthesis of amido alkylnaphthols using nano-magnetic particles and surfactants

we used dbsa and nano-magnetic for the synthesis of amido alkylnaphtols.

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Chemical Information and Modeling

سال: 2020

ISSN: 1549-9596,1549-960X

DOI: 10.1021/acs.jcim.9b00951